undocumented.txt: gen-undocumented.sh documented.txt implemented.txt
	./$< > $@

documented.txt: gen-documented.sh
	./$< > $@

implemented.txt: gen-implemented.sh
	./$< > $@
